TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Rigorous reasoning is the sort that leads to certain conclusions, and essentially concerns deduction, certain forms of induction, or certain specific forms such as hypothetico-deductive reasoning or reductio ad absurdum. There are the logician's patterns of reasoning, whose formalisation has allowed the construction of particular formal systems reflecting the intrinsic properties of these patterns. We are talking both of classical systems (predicate-calculus, money-valued systems, etc) and non-classical systems (modal, desutic, temporal and dynamic logics).  1, fiche 1, Anglais, - rigorous%20reasoning

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 OBS

D'autres auteurs anglo-américains emploient "catégorique" mais avec des acceptions différentes.  1, fiche 1, Français, - raisonnement%20rigoureux

Fiche 1,  Justifications,  Espagnol